#ifndef KERNEL_PRINTK_H
#define KERNEL_PRINTK_H

#define PRINT_BUF_LENGTH 2048

int printk(const char *fmt, ...);

#endif
